Nuprl Definition : fpf-inv-rename
0,22
postcript
pdf
fpf-inv-rename(
r
;
rinv
;
f
) == <mapfilter(
x
.outl(
rinv
(
x
));
x
.isl(
rinv
(
x
));1of(
f
)),2of(
f
) o
r
>
latex
Definitions
mapfilter(
f
;
P
;
L
)
,
outl(
x
)
,
isl(
x
)
,
1of(
t
)
,
f
o
g
,
2of(
t
)
FDL editor aliases
fpf-inv-rename
origin
x.outl(rinv(x));x.isl(rinv(x));1of(f)),2of(f) o r> x.outl(rinv(x));x.isl(rinv(x));1of(f)),2of(f) o r>